////namespace SimpleWebServices.Web.Mvc
////{
////    using System.Web.Mvc;
////    using SimpleWebServices;
////    using Xunit;

////    public sealed class RedirectControllerFacts
////    {
////        [Fact]
////        public void typedef()
////        {
////            Assert.True(new ObjectExpectations<RedirectController>()
////                .DerivesFrom<Controller>()
////                .IsConcreteClass()
////                .IsSealed()
////                .HasDefaultConstructor()
////                .IsDecoratedWith<InternalServerErrorAttribute>()
////                .IsDecoratedWith<CacheControlAttribute>()
////                .IsDecoratedWith<ContentLanguageAttribute>()
////                .IsDecoratedWith<ContentMD5Attribute>()
////                .Allow("GET, HEAD, OPTIONS")
////                .Result);
////        }

////        [Fact]
////        public void ctor()
////        {
////            Assert.NotNull(new RedirectController());
////        }

////        [Fact]
////        public void SeeOther_string()
////        {
////            Assert.IsType<SeeOtherResult>(new RedirectController().SeeOther("/path"));
////        }
////    }
////}